81. Progress in industrial mathematics at ECMI 2016 /
پدیدآورنده : Peregrina Quintela, Patricia Barral, Dolores Gómez, Francisco J. Pena, Jerónimo Rodríguez, Pilar Salgado, Miguel E. Vázquez-Méndez, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Industrial engineering-- Mathematics, Congresses.,Applied mathematics.,Calculus & mathematical analysis.,Engineering mathematics.,Industrial engineering-- Mathematics.,Numerical analysis.,Optimization.,Probability & statistics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA329
82. Recent advances in the study of dental calculus
پدیدآورنده : Edited by J.M. ten Cate; organized by the Research Group on Surface and Colloid Phenomena in the Oral Cavity; under the auspices of the Council of Europe
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Dental Calculus -- Etiology,Dental Calculus -- Prevention & control,Dental Caries,Congresses
رده :
WU
83. Satisfiability problem
پدیدآورنده : / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
رده :
QA9
.
3
.
S38
1997
84. Satisfiability problem :
پدیدآورنده : Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997
85. Singularities in PDE and the calculus of variations
پدیدآورنده : Stanley Alama, Lia Bronsard, Peter J. Sternberg, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Singularities )Mathematics(,Congresses ، Differential equations, Partial,Congresses ، Calculus of variations
رده :
QC
20
.
7
.
S54S56
86. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
پدیدآورنده : Armin Biere, Carla P. Gomes )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
87. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
88. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
پدیدآورنده : Holger H. Hoos, David G. Mitchell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
89. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
پدیدآورنده : Enrico Giunchiglia, Armando Tacchella )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
90. Tools for high performance computing 2017 :
پدیدآورنده : editors, Christoph Niethammer, Michael M. Resch, Wolfgang E. Nagel, Holger Brunst and Hartmut Mix.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : High performance computing, Congresses.,High performance computing.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
QA76
.
88
91. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro Internationale Mathematico Estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987
پدیدآورنده : M. Giaguinta )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Calculus of variations
رده :
QA
3
.
L28
Vol
.
1365
92. Topics in calculus of variations: lectures given at the 2nd 1987 session of the Centro Internazionale Matematico Estivo )C.I.M.E.(held at Montecatini Terme, Italy 20-28, 1987
پدیدآورنده : M. Giaquinta )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Calculus of variations
رده :
QA
3
.
L28
no
.
1365
93. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987
پدیدآورنده : M. Giaquinta )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Calculus of variations
رده :
QA
315
.
T6
1987
94. Toward a lean and lively calculus
پدیدآورنده : Conference/Workshop to Develop Alternate Curriculum and Teaching Methods for Calculus at the College Level, Tulane University, January 2-6, 1986 ; editor, Ronald G. Douglas,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Calculus - Study and teaching )Higher( - Congresses
رده :
QA
.
C66
303
1986
95. #Toward a lean and lively calculus
پدیدآورنده : #Conference/Workshop to Develop Alternate Curriculum and Teaching Methods for Calculus at the College Level, Tulane University, January 2-6, 1986 , editor, Ronald G. Douglas
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Calculus- Study and teaching )Higher(- Congresses
رده :
#
QA
،#.
C66
،#
1986
96. Toward a lean & lively calculus
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : CALCULUS-STUDY & TEACHING-CONGRESSES
رده :
QA
303
.
C66
1986
97. Trends and applications of mathematics to mechanics /
پدیدآورنده : edited by Elisabetta Rocca, Ulisse Stefanelli, Lev Truskinovsky, Augusto Visintin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Mechanics, Applied-- Mathematics, Congresses.,Building materials.,Calculus of variations.,Functional analysis.,Mathematical models.,Mathematical physics.,Mathematics.,Probabilities.,SCIENCE-- Mechanics-- General.,SCIENCE-- Mechanics-- Solids.
رده :
TA349
98. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
99. Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Lambda calculus -- Congresses
رده :
QA
9
.
5
.
I58
1993
100. Typed Lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Lambda calculus-- Congresses
رده :
QA
9
.
5
.
I58
1995